1. Rigorous software development : an introduction to program verification
پدیدآورنده : Jose Bacelar Almeida ... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer software -- Verification,، Computer software -- Development
رده :
QA
76
.
76
.
V47R5